es{-}loc(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$loc(es\_info(${\it es}$);$e$)